1. 若该条件成立, 则 $i \nrightarrow j$, 从而 $C$ 是闭集.

2. 若 $C$ 是闭集, 则由归纳法易知 $p_{ij}^{(n)} = 0$.

从而得证.